Model elimination - PDFSEARCH.IO - Document Search Engine

Model elimination
Results: 82

#	Item
51	A (restricted) quantifier elimination for security protocols ? R. Ramanujam ∗ The Institute of Mathematical Sciences, C.I.T. Campus, Taramani, Chennai[removed], India S.P. Suresh Add to Reading List Source URL: www.imsc.res.in Language: English - Date: 2006-08-04 05:49:00 Burrows–Abadi–Needham logic Needham–Schroeder protocol Communications protocol Model theory Quantifier elimination Security protocol notation Cryptographic protocols Data Information
52	Available online at www.prace-ri.eu Partnership for Advanced Computing in Europe SHAPE Pilot ENTARES Engineering: Electromagnetic simulation for large model using HPC José Maria Tamayoa, Pascal de Resseguier Add to Reading List Source URL: www.prace-ri.eu Language: English - Date: 2014-07-24 04:53:02 Numerical linear algebra Lis Sparse matrix Preconditioner Generalized minimal residual method Numerical analysis Gaussian elimination Domain decomposition methods Matrix decomposition Algebra Mathematics Linear algebra
53	University of California Los Angeles Simplified Semantics and Debugging of Concurrent Programs via Targeted Race Detection Add to Reading List Source URL: www.cs.ucla.edu Language: English - Date: 2013-01-25 20:10:08 Compiler construction Programming language implementation Compiler optimizations Computer memory Compiler Memory model Common subexpression elimination C Porting Software engineering Computing Computer programming
54	Dov M. Gabbay Andrzej SzaÃlas Second-Order Quantifier Elimination in Higher-Order Contexts with Applications Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-02-03 09:26:40 Model theory Constructible universe Lambda calculus First-order logic FO Interpretation Curry–Howard correspondence Boolean-valued model Mathematical logic Logic Mathematics
55	[removed] Centers for Disease Control and Prevention[removed]Division of Tuberculosis Elimination Appendix B. Tuberculosis (TB) risk assessment worksheet This model worksheet should be considered for use in perf Add to Reading List Source URL: www.cdc.gov Language: English - Date: 2014-12-24 13:25:47 Tuberculosis treatment Latent tuberculosis Mantoux test Infection control Extensively drug-resistant tuberculosis Tuberculosis diagnosis Tuberculosis Medicine Health
56	American Model United Nations General Assembly Third Committee GA Third/I/2 SUBJECT OF RESOLUTION: Add to Reading List Source URL: www.amun.org Language: English - Date: 2014-12-03 11:27:02 Gender-based violence Sex industry Violence against women Non-governmental organization Violence United Nations Commission on the Status of Women Human rights NGO Committee on the Status of Women New York Declaration on the Elimination of Violence Against Women Feminism Ethics Structure
57	Working Paper A validation of the methodology used in the Department for Work and Pensions’ Ipen model Add to Reading List Source URL: www.gov.uk Language: English - Date: 2013-07-16 06:41:28 Pension Department for Work and Pensions Retirement Housing Benefit International POPs Elimination Network Annuity Pensions in the United Kingdom United Kingdom National Employment Savings Trust
58	Total Maximum Daily Load (TMDL) and National Pollutant Discharge Elimination System (NPDES) Permit Training, Module 3: Understanding TMDLs with Stormwater Sources and the NPDES Stormwater Permitting Process, User’s Gui Add to Reading List Source URL: water.epa.gov Language: English - Date: 2013-05-21 14:48:48 Water Clean Water Act Total maximum daily load Stormwater Effluent limitation Green infrastructure IDEAL model Best management practice for water pollution Water pollution Environment Earth
59	Study on challenges in the development of local equality indicators: a human-rights-centred model; Commitment 2 of the Ten-Point Plan of Action; International coalition of cities against racism: discussion papers series; Add to Reading List Source URL: unesdoc.unesco.org Language: English - Date: 2013-09-03 20:53:36 Discrimination Human rights in Latvia Hate Racism Convention on the Elimination of All Forms of Racial Discrimination Multiculturalism Non-citizens Fundamental Rights Agency Organization for Security and Co-operation in Europe Ethics Sociology Sociology of culture
60	Engineering a model protein cavity to catalyze the Kemp elimination Matthew Merski and Brian K. Shoichet1 Department of Pharmaceutical Chemistry, University of California—San Francisco, San Francisco, CA[removed]Edi Add to Reading List Source URL: www.ncbi.nlm.nih.gov Language: English Enzymes Protein domains Protein families Protein structure Lysozyme Enzyme catalysis Enzyme Amidase Active site Chemistry Catalysis Physical chemistry

UPDATE